Hypergraph Coloring Games and Voter Models
نویسندگان
چکیده
We analyze a network coloring game on hypergraphs which can also describe a voter model. Each node represents a voter and is colored according to its preferred candidate (or undecided). Each hyperedge is a subset of voters that can interact and influence one another. In each round of the game, one hyperedge is chosen randomly, and the voters in the hyperedge can change their colors according to some prescribed probability distribution. We analyze this interaction model based on random walks on the associated weighted, directed state graph. We consider three scenarios — a memoryless game, a partially memoryless game and the general game using the memoryless game for comparison and analysis. Under certain ‘memoryless’ restrictions, we can use semigroup spectral methods to explicitly determine the spectrum of the state graph, and the random walk on the state graph converges to its stationary distribution in O(m log n) steps, where n is the number of voters and m is the number of hyperedges. This can then be used to determine an appropriate cut-off time for voting: we can estimate probabilities that events occur within an error bound of ǫ by simulating the voting game for O(log(1/ǫ)m log n) rounds. Next, we consider a partially memoryless game whose associated random walk can be written as a linear combination of a memoryless random walk and another given random walk. In such a setting, we provide bounds on the convergence time to the stationary distribution, highlighting a tradeoff between the proportion of memorylessness and the time required. To analyze the general interaction model, we will first construct a companion memoryless process and then choose an appropriate damping constant β to build a partially memoryless process. The partially memoryless process can serve as an approximation of the actual interaction dynamics for determining the cut-off time if the damping constant is appropriately chosen either by using simulation or depending on the rules of interaction.
منابع مشابه
Approximate Hypergraph Coloring under Low-discrepancy and Related Promises
A hypergraph is said to be χ-colorable if its vertices can be colored with χ colors so that no hyperedge is monochromatic. 2-colorability is a fundamental property (called Property B) of hypergraphs and is extensively studied in combinatorics. Algorithmically, however, given a 2-colorable k-uniform hypergraph, it is NP-hard to find a 2-coloring miscoloring fewer than a fraction 2−k+1 of hypered...
متن کاملChip Games and Paintability
We prove that the paint number of the complete bipartite graph KN,N is logN + O(1). As a consequence, we get that the difference between the paint number and the choice number of KN,N is Θ(log logN). This answers in the negative the question of Zhu (2009) whether this difference, for all graphs, can be bounded by a common constant. By a classical correspondence, our result translates to the fra...
متن کاملInteger programming models for colorings of mixed hypergraphs
A mixed hypergraph H = (X, C,D) consists of the vertex set X and two families of subsets: the family C of C-edges and the family D of D-edges. In a coloring, every C-edge has at least two vertices of common color, while every D-edge has at least two vertices of different colors. The largest (smallest) number of colors for which a coloring of a mixed hypergraph H using all the colors exists is c...
متن کاملA positive temperature phase transition in random hypergraph 2-coloring
Diluted mean-field models are graphical models in which the geometry of interactions is determined by a sparse random graph or hypergraph. Based on a non-rigorous but analytic approach called the “cavity method”, physicists have predicted that in many diluted mean-field models a phase transition occurs as the inverse temperature grows from 0 to ∞ [16]. In this paper we establish the existence a...
متن کاملOn-Line Algorithms for 2-Coloring Hypergraphs Via Chip Games
Erdös has shown that for all k-hypergraphs with fewer than 2k−1 edges, there exists a 2-coloring of the nodes so that no edge is monochromatic. Erdös has also shown that when the number of edges is greater than k2, there exist k-hypergraphs with no such 2-coloring. These bounds are not constructive, however. In this paper, we take an “on-line” look at this problem, showing constructive upper an...
متن کامل